The Power-set of Ω1 and the Continuum Problem
نویسندگان
چکیده
We analyze structure theories of the power-set of ω1 and compare them relative to Cantor’s Continuum Problem. We also compare these theories with the structure theory of the powerset of ω under the assumption of the axiom of definable determinacy.
منابع مشابه
Solving Environmental/Economic Power Dispatch Problem by a Trust Region Based Augmented Lagrangian Method
This paper proposes a Trust-Region Based Augmented Method (TRALM) to solve a combined Environmental and Economic Power Dispatch (EEPD) problem. The EEPD problem is a multi-objective problem with competing and non-commensurable objectives. The TRALM produces a set of non-dominated Pareto optimal solutions for the problem. Fuzzy set theory is employed to extract a compromise non-dominated sol...
متن کاملLusin sequences under CH and under Martin ’ s Axiom ∗
Assuming the continuum hypothesis there is an inseparable sequence of length ω1 that contains no Lusin subsequence, while if Martin’s Axiom and ¬CH is assumed then every inseparable sequence (of length ω1) is a union of countably many Lusin subsequences. 2000 Mathematics Subject Classification . 03E05 (Combinatorial set theory), 03E50 (Continuum hypothesis and Martin’s axiom), 03E35 ( Consisten...
متن کاملVOLUME MINIMIZATION WITH DISPLACEMENT CONSTRAINTS IN TOPOLOGY OPTIMIZATION OF CONTINUUM STRUCTURES
In this paper, a displacement-constrained volume-minimizing topology optimization model is present for two-dimensional continuum problems. The new model is a generalization of the displacement-constrained volume-minimizing model developed by Yi and Sui [1] in which the displacement is constrained in the loading point. In the original model the displacement constraint was formulated as an equali...
متن کاملDistinguishing two partition properties of ω
It is consistent that ω1 → (ω1, (ω : 2))2 but ω1 6→ (ω1, ω + 2)2. One of the classic results in combinatorial set theory is the Dushnik– Miller theorem [3] which states that ω1 → (ω1, ω)2 holds and so gives the first transfinite variant of Ramsey’s theorem. Later Erdős and Rado [4] extended this to ω1 → (ω1, ω+1)2 and for a long period it was open if the even stronger ω1 → (ω1, ω+ 2)2 holds. Th...
متن کاملRcd Rules and Power Systems Observability
Power system state estimation is a process to find the bus voltage magnitudes and phase angles at every bus based on a given measurement set. The state estimation convergency is related to the sufficiency of the measurement set. Observability analysis actually tests this kind of problem and guarantees the state estimation accuracy. A new and useful algorithm is proposed and applied in this pape...
متن کامل